Search
Feedback
About
Help
News
| Listing 1 - 7 of 7 |
Sort by
|
Periodical
ISSN: 20842589 Year: 1973 Publisher: Warsaw, Polish Scientific Publishers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical
Book
ISBN: 9027701938 9789027701930 Year: 1973 Volume: 9 Publisher: Dordrecht Reidel
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Philosophy of science --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, symbolic and mathematical --- Logique symbolique et mathématique
ISBN: 3787302654 Year: 1973 Publisher: Hamburg Meiner
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Reasoning --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Reasoning. --- Logic, Symbolic and mathematical.
Book
ISBN: 3484500697 Year: 1973 Publisher: Tübingen Niemeyer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- Psycholinguistics --- Language and languages --- Logic, Symbolic and mathematical --- Philosophy --- -Logic, Symbolic and mathematical --- 800.1 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foreign languages --- Languages --- Anthropology --- Communication --- Ethnology --- Information theory --- Meaning (Psychology) --- Philology --- Linguistics --- Taalfilosofie --- Logic, Symbolic and mathematical. --- Philosophy. --- 800.1 Taalfilosofie
ISBN: 0691080054 0691025096 9780691080055 Year: 1973 Publisher: Princeton (N.J.): Princeton university press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematics --- Logic, symbolic and mathematical --- Philosophy --- Logic, Symbolic and mathematical. --- Philosophy. --- #WWIS:AGGR --- Logic, Symbolic and mathematical --- -Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Math --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Science --- -Math --- Algebra of logic --- Logique --- Mathématiques --- Mathematics - Philosophy --- -Philosophy
ISBN: 0121703509 0080917283 132255501X 1493300245 9780121703509 Year: 1973 Publisher: New York: Academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematical logic --- Logic, symbolic and mathematical --- Automatic theorem proving --- Artificial intelligence --- Logic, Symbolic and mathematical --- 681.3*I23 --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Proof theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Artificial intelligence. --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Informatique --- Théorèmes --- Démonstration automatique --- Logique mathématique --- Mathematical Logic --- Theorem Proving --- Predicate Calculus --- Resolution
ISBN: 354006527X 354037826X Year: 1973 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- 681.3*F11 --- 681.3*F43 --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Computer programming. --- Computers. --- Mathematical logic. --- Programming Techniques. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory
| Listing 1 - 7 of 7 |
Sort by
|